Search Results for 'steffen 2011'

steffen 2011 published presentations and documents on DocSlides.

Aspect Assumptions

by lindy-dunigan

A Retrospective Study of . AspectJ. . Developers...

Towards Using Constructive Type Theory for Verifiable

by karlyn-bohler

Modular Transformations. Steffen . Zschaler. , . ...